'My work is my hobby'

Description of My Previous Work

Today, advanced technological products often employ information and communication technology to enhance their functionality and quality. Therefore, nowadays software plays an important role in the control of many technical systems such as electrical and mechanical devices, technical processes in the chemical industry, or a modern automobile. In the future, software-intensive systems are in addi...

Themes in My Philosophical Work

This paper is an overview of my philosophical work. It follows closely the structure of the handout I used as the basis for a talk on this topic at the 2000 meeting of the Austro-Slovene Philosophical Association. The section-headings mention major themes, and various key concepts are indicated by boldface terms in the text. I invoked the notion of supervenience in my doctoral dissertation, Mic...

My Current Work on CertiKOS

My research goal is to make critical software systems truly reliable and secure through formal verification. As the backbone of modern software systems, operating system (OS) kernels have great impacts on the reliability and security of today’s computing hosts. OS kernels, however, are complicated, highly concurrent, and prone to bugs. For the past several years, my research has focused on inve...

painting and essay competition: my city, my neighborhood

0

O-23: "Caring My Family Integrity"